AQuickIntroductionToSDF (03 Feb 2004 - 11:44 - r1.5 - MartinBravenboer)

A Quick Introduction to SDF

by Joost Visser and Jeroen Scheerder

Abstract

This paper is intended for first time users. It contains motivation for using SDF with Generalized LR parsing and a step-by-step guided tour along the main features. The paper answers some some basic questions about SDF and gives a step-by-step recipe for developing SDF grammars. It even touches on the issue of writing Island Grammars in SDF.

Source tar.gz

aterm-2.3.1
sdf2-bundle-2.3^?

Source RPM

aterm-2.3.1^?
sdf2-bundle-2.3^?

Redhat Linux RPM

Redhat 9.0:

aterm-2.3.1^?
sdf2-bundle-2.3^?

SuSE Linux RPM

SuSE 9.0:

aterm-2.3.1^?
sdf2-bundle-2.3^?

Fedora Core RPM

Fedora Core 2:

aterm-2.3.1^?
sdf2-bundle-2.3^?

Fedora Core 3:

aterm-2.3.1^?
sdf2-bundle-2.3^?

Microsoft Windows Cygwin binaries

aterm-2.3.1^?
sdf2-bundle-2.3^?

The *-cygwin.tar.gz files contain a file readme.txt with installation instructions.

Mac OS X binaries

aterm-2.3.1^?
sdf2-bundle-2.3^?

The *-macosx.tar.gz files contain a file readme.txt with installation instructions.

License

The SDF2 Bundle is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (GNU LGPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details

News

This is mainly a maintenance release, fixing a number of bugs. However, a number of important features have been added.

Fixed a bug in obtaining a parse table when restoring brackets with a grammar without start symbols.

Fixed implosion of alternative literals. "-" | "+" becomes alt(1,[]) or alt(2,[]) because a literal does not have a representation in an imploded tree. This fixes a core dump

The efficiency of the syntax checker was improved drastically. This reduces parsetable generation times.

A new commandline tool: filterPT. It filters parse forests based on some command line arguments. Currently, we have one filter to find trees with a maximum or minumum number of occurrences of a certain non-terminal. It is used to implement filters for island grammars.

A new small package: tide-support. Contains a library for developing new TIDE debugging adapters.

(News selected from Meta-Environment 1.5.2 and 1.5.3 news)

Source tar.gz

aterm-%ATERMVERSION%
sdf2-bundle-%SDFVERSION%^?

Source RPM

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Redhat Linux RPM

Redhat 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

SuSE Linux RPM

SuSE 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core RPM

Fedora Core 2:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core 3:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Microsoft Windows Cygwin binaries

This release of the SDF2 Bundle did not install correctly on Cygwin. These issues have been fixed in the next release: sdf2-bundle-2.3.2.

Mac OS X binaries

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

The *-macosx.tar.gz files contain a file README with installation instructions.

License

The SDF2 Bundle is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (GNU LGPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details

News

This is a minor update of the SDF2 Bundle 2.3. It solves an compatibility problem with the latest release of the ATerm Library (2.4). Also, this release adds support for pkg-config.

Source tar.gz

aterm-%ATERMVERSION%
sdf2-bundle-%SDFVERSION%^?

Source RPM

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Redhat Linux RPM

Redhat 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

SuSE Linux RPM

SuSE 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core RPM

Fedora Core 2:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core 3:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Microsoft Windows Cygwin binaries

The *-cygwin.tar.gz files contain a file README with installation instructions.

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Mac OS X binaries

The *-macosx.tar.gz files contain a file README with installation instructions.

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Nix Packages

Open nixpkg files with nix-install-package. Installation of a Nix package is a one-click installation of package and all its dependencies.

i686-linux:

powerpc-darwin:

License

The SDF2 Bundle is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (GNU LGPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details

News

This is a minor update of the SDF2 Bundle 2.3. It solves an compatibility problem with the latest release of the ATerm Library (2.4). Also, this release adds support for pkg-config.

Released November 4th, 2005.

Download

See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs.

Source tar.gz

aterm-%ATERMVERSION%
sdf2-bundle-%SDFVERSION%^?

Source RPM

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Redhat Linux RPM

Redhat 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

SuSE Linux RPM

SuSE 9.0:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core RPM

Fedora Core 2:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Fedora Core 3:

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Microsoft Windows Cygwin binaries

The *-cygwin.tar.gz files contain a file README with installation instructions.

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Mac OS X binaries

The *-macosx.tar.gz files contain a file README with installation instructions.

aterm-%ATERMVERSION%^?
sdf2-bundle-%SDFVERSION%^?

Nix Packages

Open nixpkg files with nix-install-package. Installation of a Nix package is a one-click installation of package and all its dependencies.

i686-linux:

powerpc-darwin:

License

The SDF2 Bundle is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (GNU LGPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details

News

This is minor update of the SDF2 Bundle 2.3.2. It fixes a compilation problem of the SDF2 Bundle on GCC 4.0.x.

SdfApplications (26 Sep 2004 - 13:49 - r1.4 - MartinBravenboer)

The SDF syntax definition formalism is applied in two projects related to meta programming: the ASF+SDF Meta-Environment and Stratego/XT. Companies and researchers are using these environments for implementing various program transformations.

ASF+SDF Meta-Environment

The ASF+SDF Meta-Environment is applied for the description of syntax, semantics, analysis, and transformation of (programming) languages and programs written in such programming languages.

Stratego/XT

Stratego/XT is the combination of the The Stratego program transformation language for strategic rewriting and the XT bundle of transformation tools.

In Stratego/XT SDF is used to define the syntax of (programming) languages and to generate tools like pretty-printers from these definitions. The power of SDF becomes especially clear in in Meta Programming with Concrete Object Syntax. This technique is applied by many Stratego/XT applications. At the Stratego/XT web you can find a list of applications of Stratego/XT.

Software Improvement Group.

The Software Improvement Group is a spin-off of the Dutch National Centre for Mathematics and Computer Science (CWI). The SIG is active in all fields of software renovation: the adaptation, integration and rebuilding of existing software systems. Currently the SIG provides services for documentation heneration, portfolio monitoring, risk assessments and migrations.

First Result

The company First Result applies SDF technology in the ASF+SDF Meta-Environment for the generation of code.

EPITA Research & Development Laboratory

The EPITA Research & Development Laboratory has developed C and C++ grammars in the Transformers Project. Disambiguation of C++ is performed on parse trees. Stratego/XT tools are used to implement parse and abstract syntax tree transformations.

NASA Ames Research Center

The paper Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax explains how concrete syntax is embedded in Prolog by using SDF for application in the AutoBayes system.

SdfBugs (26 Nov 2007 - 21:08 - r1.5 - JurgenVinju)

The SDF bugzilla system is located here. Use the package 'sglr' and 'pgen' to report bugs in the core SDF system. 'sdf-meta' for IDE bugs and 'unknown' if you just don't know.

bugzilla

SdfBundle (04 Nov 2010 - 17:05 - r1.5 - KarlTrygveKalleberg)

Introduction

The SDF2 Bundle is an easy to install collection of packages related to the SDF2 syntax definition formalism. The packages are developed at the CWI. The main packages of the SDF2 Bundle are:

PGEN - parser generator for SDF2
SGLR - parser

The bundling related code is maintained by Martin Bravenboer. The packages themselves are maintained by members of SEN1 group at the CWI in the Netherlands.

Download

Release

The current release of the SDF2 Bundle is

SDF2 Bundle 2.3.3

Previous releases:

Latest developments

The latest developments are available at:

Latest unstable sdf2-bundle

Language	Version	Available in	View online
ASF		SDF Library 1.0	browse^?
AsFix		SDF Library 1.0	browse^?
AspectJ	5.0	AspectJ-front	browse
ATerm		SDF Library 1.0	browse^?
Bibtex		Bibtex-tools
Box		GPP
C	ad-hoc	StrategoXT/c-tools
C	C99	EPITA's Transformers Project
C	ANSI-C (?)	SDF Library 1.0	browse^?
C++		EPITA's Transformers Project
C Preprocessor		SDF Library 1.0	browse^?
Dot (GraphViz)		Stratego/XT Utils
ECMAScript	Edition 3 (ECMA-262)	Under development in ECMAScript-front
HQL		WebDSL	browse
Java	1.4	Java-front
Java	1.5	Java-front	browse
JavaScript		See ECMAScript
Jimple		Under development
JSP		Under development in StringBorg
LDAP Search Filters	RFC 4515	StringBorg
Octave		Under development in the Stratego Octave Compiler
PHP	4	PHP-front	browse
PHP	5	PHP-front	browse
Prolog		Prolog-tools
Python		python-syntax
Shell		Under development in StringBorg
Similix (subset of Scheme)		Similix in Stratego
SQL	92	SQL-front
Stratego	0.9 - latest	StrategoXT/stratego-front
SDF		SDF Library 1.0	browse^?
Tiger		Tiger in Stratego
URI	RFC 1738	Nix (will be moved to some other location)
VDM-SL	ISO/IEC 13817-1:1996	VooDooMFront
XML	1.0	StrategoXT/xml-front
XPath	1.0	Under development in StringBorg

Please add references to grammars you know about!

This list is maintained mostly by Martin Bravenboer. Please contact me if you cannot find a grammar or one of the links is broken.

Notes:

Do not edit this topic, it is updated automatically. (You can also force an update)
TWikiDocumentation tells you how to enable the automatic updates of the statistics.
Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

WebTools (29 Nov 2004 - 17:38 - r1.2 - MartinBravenboer)

Finding topics

RoadMap^?
WebIndex: all topics in the SdfBackup^? web
WebSearch: find topics

Tracking activity

WebNews: selected changes
WebChanges: recent changes
WebNotify: email notification of changes
WebStatistics: usage counts

Look and feel

WebPreferences: values of variables
WebLeftBar: web specific entries in the side bar

A Quick Introduction to SDF

Abstract

License

Contents

News

License

Contents

News

License

Contents

News

Download

License

Contents

News

ASF+SDF Meta-Environment

Stratego/XT

Software Improvement Group.

First Result

EPITA Research & Development Laboratory

NASA Ames Research Center

Introduction

Download

Release

Latest developments